Formal Modeling and Performance Evaluation for Hybrid Systems: A Probabilistic Hybrid Process Algebra-Based Approach

Probabilistic behavior is omnipresent in computer-controlled systems, particular, so-called safety-critical hybrid due to various reasons, like uncertain environments or fundamental properties of nature. In this paper, we extend the existing process algebra ACP[Formula: see text] with probability without sacrificing nondeterministic choice operator. The approximate probabilistic bisimulation relation fragile and not robust sense being dependent on deviation range transition probability. To overcome defect, a novel proposed which inspired by idea Probably Approximately Correct (PAC) relaxing constraints range. Traditional temporal logics, even are expressive enough, but they limited producing only true false responses, as still logics suitable for performance evaluation. settle problem, present new evaluation language that expands quantitative analysis from value [Formula: real number reason over systems. After that, corresponding algorithms given. Finally, an industrial example given demonstrate effectiveness our method.